sends($l$,${\it tg}$,$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter($\lambda$$m$.mtag($m$) = ${\it tg}$;sends($l$;$e$))